-
1 рекурсивная формула
-
2 рекурсивная формула
Engineering: recursion formulaУниверсальный русско-английский словарь > рекурсивная формула
-
3 рекурсивная формула
recursion formula мат.Русско-английский научно-технический словарь Масловского > рекурсивная формула
-
4 примитивно рекурсивная формула
Mathematics: primitively recursive formulaУниверсальный русско-английский словарь > примитивно рекурсивная формула
-
5 примитивно-рекурсивная формула
Русско-английский научно-технический словарь Масловского > примитивно-рекурсивная формула
-
6 формула
formula
– атомарная формула
– валовая формула
– выводить формула
– доказуемая формула
– замкнутая формула
– интерполяционная формула
– исходная формула
– колесная формула
– начальная формула
– опытная формула
– основная формула
– поправочная формула
– предваренная формула
– пятичленная формула
– расчетная формула
– рекуррентная формула
– рекурсивная формула
– сравнимая формула
– точная формула
– формула валовая
– формула Гаусса
– формула Грима
– формула де-Бройля
– формула мощности
– формула обращения
– формула оценки
– формула Планка
– формула Поллачек-Хинчина
– формула размерности
– формула Релея-Джинса
– формула сложения
– формула строения
– формула суммирования
– формула трапеций
– формула удвоения
– формула Френеля
– цепная формула
– элементарная формула
интерполяционная формула Ньютона — Newton's interpolation formula
формула бинома Ньютона — binomial formula
формула корней квадратного уравнеи — quadratic formula
формула обратного перехода — reverse formula
формула обратного преобразования — inversion formula
формула объема призматоида — prismoidal formula
формула половинного угла — half-angle formula
формула простых процентов — simple interest formula
формула Эйнштейна для фотоэффекта — Einstein photoelectric equation
-
7 формула
1. ж. formulaизображение полинуклеотидных цепочек в виде формул очень громоздко — the representation of polynucleotide chains by formulae is clumsy
2. ж. formulation
См. также в других словарях:
Формула Дея — рекурсивная формула для выражения числа подгрупп данного индекса данной группы через число гомоморфизмов из в симметрическую группу … Википедия
РЕКУРСИВНАЯ РЕАЛИЗУЕМОСТЬ — уточнение интуиционистской семантики арифметич. суждений на основе понятия частично рекурсивной функции, предложенное С. Клини (см. [1], [2]). Для всякой замкнутой арифметич. формулы Fопределяется отношение натуральное число ереализует формулу F … Математическая энциклопедия
Рекурсивная функция — У этого термина существуют и другие значения, см. Рекурсивная функция (значения). Рекурсивная функция (от лат. recursio возвращение) это числовая функция числового аргумента, которая в своей записи содержит себя же. Такая запись позволяет… … Википедия
Рекуррентная формула — формула вида , выражающая каждый член последовательности через p предыдущих членов. Общая проблематика вычислений с использованием рекуррентных формул является предметом теории рекурсивных функций. Содержание 1 Примеры … Википедия
ПРИМИТИВНО РЕКУРСИВНАЯ ФУНКЦИЯ — функция от натуральных аргументов с натуральными значениями, к рую можно получить из простейших функций конечным числом операций суперпозиции и примитивной рекурсии. Поскольку исходные функции являются вычислимыми, а операторы суперпозиции и… … Математическая энциклопедия
АЛЕФЫ — первая буква древнееврейского алфавита, символы, введенные Г. Кантором (G. Cantor) для обозначения кардинальных чисел (мощностей) бесконечных вполне упорядоченных множеств. Каждое кардинальное число есть нек рый А. (следствие выбора аксиомы). Но… … Математическая энциклопедия
Индекс подгруппы — У этого термина существуют и другие значения, см. Индекс. Индекс подгруппы в группе ― число классов смежности в каждом (правом или левом) из разложений группы по этой подгруппе (в бесконечном случае ― мощность множества этих классов). Индекс… … Википедия
Ряды подгрупп — В математике ряд подгрупп это цепь подгрупп вида . Ряды подгрупп могут упростить изучение группы сводя его к изучению подгрупп этой группы и к изучению взаимосвязей между ними. Ряды подгрупп могут формировать важные инварианты заданной… … Википедия
ГЁДЕЛЯ ТЕОРЕМА О НЕПОЛНОТЕ — общее название двух теорем, установленных К. Гёделем [1]. Первая Г. т. о н. утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики ( знаки и обычные правила обращения с ними), найдется формально неразрешимое… … Математическая энциклопедия
КОНСТРУКТИВНАЯ СЕМАНТИКА — совокупность способов понимания суждений в конструктивной математике. Необходимость в особой семантике вызвана различием общих принципов, лежащих в основе традиционной (классической) и конструктивной математики (далее последний термин будет в… … Математическая энциклопедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия